Lami's Theorem derivation